Micron Document
____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|


The NomadNet German Wikipedia | Archives | Info
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b

πŸ” Search

Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―

Final-Οƒ-Algebra
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
Die Final-Οƒ-Algebra, auch Bild-Οƒ-Algebracite-ref-1[1] genannt, ist ein spezielles Mengensystem, genauer eine Οƒ-Algebra, in der Maßtheorie. Die zu einer vorgegebenen Familie von Funktionen gebildete Final-Οƒ-Algebra ist das grâßte Mengensystem auf der gemeinsamen Zielmenge dieser Funktionen, bezΓΌglich der diese sΓ€mtlich messbar sind. Somit bildet das Konzept der Final-Οƒ-Algebra das Pendant zum Konzept der Initial-Οƒ-Algebra, welche die kleinste Οƒ-Algebra auf der Definitionsmenge darstellt, bezΓΌglich der alle Funktionen der vorgegebenen Funktionenfamilie messbar sind. Ein analoges Konzept findet sich in der Topologie; hier sind die Initialtopologie bzw. die Finaltopologie die grΓΆbste bzw. feinste Topologie auf der Definitionsmenge bzw. Zielmenge, bezΓΌglich der alle Funktionen der vorgegebenen Funktionenfamilie stetig ist.

Contents

β€’ Definition
β€’ Literatur

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Definition

FΓΌr eine beliebige Indexmenge seien MessrΓ€ume ( X i , A i ) {\displaystyle (X_{i},{\mathcal {A}}_{i})} gegeben sowie Abbildungen f i : : X i β†’ β†’ X {\displaystyle f_{i}\colon X_{i}\to X} fΓΌr eine beliebige Menge X {\displaystyle X} . Dann heißt die Οƒ-Algebra

F ( f i , i ∈ ∈ I ) := β‹‚ β‹‚ i ∈ ∈ I { A βŠ‚ βŠ‚ X | f i βˆ’ βˆ’ 1 ( A ) ∈ ∈ A i } {\displaystyle {\mathcal {F}}(f_{i},\,i\in I):=\bigcap _{i\in I}\{A\subset X\,|\,f_{i}^{-1}(A)\in {\mathcal {A}}_{i}\}}

die Final-Οƒ-Algebra der Abbildungen f i {\displaystyle f_{i}} auf X {\displaystyle X} .

Eigenschaften

β€’ Ist ein weiterer Messraum ( Y , A βˆ— βˆ— ) {\displaystyle (Y,{\mathcal {A}}^{*})} gegeben und eine Funktion g : : X β†’ β†’ Y {\displaystyle g\colon X\to Y} , so ist g {\displaystyle g} genau dann F ( f i , i ∈ ∈ I ) {\displaystyle {\mathcal {F}}(f_{i},\,i\in I)} - A βˆ— βˆ— {\displaystyle {\mathcal {A}}^{*}} -messbar, wenn die Kompositionen g ∘ ∘ f i {\displaystyle g\circ f_{i}} alle A i {\displaystyle {\mathcal {A}}_{i}} - A βˆ— βˆ— {\displaystyle {\mathcal {A}}^{*}} -messbar sind.

Literatur

β€’ JΓΌrgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.

Einzelnachweise

cite-note-11. ↑ Klaus D. Schmidt: Maß und Wahrscheinlichkeit. 2., durchgesehene Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21025-9, S. 32, doi:10.1007/978-3-642-21026-6.